Formal Specification Method for Systems Automation
نویسندگان
چکیده
منابع مشابه
Formal Specification Method for Systems Automation
representation of the automation system is provided by combining the control and Case_study_process machines using the B structuring extends clause that allows invocation of operations (see Fig. 14). Variables processed are defined as Qi for the input flow, Qo, Po for the output flow, and Vt, Pt, for the volume and pressure in the tank. The use of the extends clause means that all the invariant...
متن کاملDiscussion on: "Formal specification method for systems automation"
of system dynamics, whereas the proposed approach does not capture these dynamics well-enough because it simply states the input/output expected modification of system variables (and their invariant properties), defined from an end-user point of view, without any other behavioral details on its realization. Matching these views is not an easy task, because the causality relationship underlying ...
متن کاملFormal Specification of Real-Time Requirements for Building Automation Systems
A generic approach to the formal specification of system requirements is presented. It is based on a pool of requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the formal requirement specification. The approach is instantiated by ...
متن کاملFormal Specification for Transportation Cyber Physical Systems
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کاملSemi-Formal and Formal Specification Techniques for Software Systems
s in order of presentations at Dagstuhl seminar: Hartmut Ehrig Towards a Formal Model and a Component Concept for the Integration Paradigm . . . . . . . . . . . . . . . . . 1 Martin Große-Rhode Integration of Heterogeneous Software Specifications based on Transformation Systems . . . . . . . . . . . 1 Stefan Gruner A New Tool for the Simulation And Visualization of Distributed Algorithms . . . ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Control
سال: 2006
ISSN: 0947-3580
DOI: 10.3166/ejc.12.115-130